вывод (формального языка)

вывод (формального языка)

 

вывод (формального языка)

[http://www.iks-media.ru/glossary/index.html?glossid=2400324]

Тематики

  • электросвязь, основные понятия

EN

  • derivative (of a formal language)


Справочник технического переводчика. – Интент. 2009-2013.

Смотреть что такое "вывод (формального языка)" в других словарях:

  • ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… …   Философская энциклопедия

  • Формальная грамматика — Генеративная лингвистика …   Википедия

  • Грамматика формальная — Формальная грамматика или просто грамматика в теории формальных языков способ описания формального языка, то есть выделения некоторого подмножества из множества всех слов некоторого конечного алфавитa. Различают порождающие и распознающие (или… …   Википедия

  • Математическое доказательство — У этого термина существуют и другие значения, см. Доказательство. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от …   Википедия

  • Рекурсивно перечислимый язык — В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источни …   Википедия

  • Киреевский, Иван Васильевич — критик и мыслитель, род. в Москве 22 марта 1806 года, ум. 11 июня 1856 года в Петербурге. Он принадлежал к одному из самых старинных родов белевских и козельских дворян. Отец его, Василий Иванович Киреевский, служил в гвардии и вышел в отставку… …   Большая биографическая энциклопедия

  • Методы домарксистского литературоведения — I. Метод и мировоззрение. II. Проблемы историографии домарксистского литературоведения. III. Краткий обзор основных течений домарксистского литературоведения. 1. Филологическое изучение памятников слова. 2. Эстетический догматизм (Буало, Готтшед …   Литературная энциклопедия

  • Права человека — (Human rights) Понятие прав человека, конституционные права и свободы Информация о понятии прав человека, конституционные права и свободы Содержание Содержание Раздел 1. Становление и развитие правового статуса человека и гражданина в… …   Энциклопедия инвестора

  • Математическая лингвистика — Математическая лингвистика  математическая дисциплина, предметом которой является разработка формального аппарата для описания строения естественных и некоторых искусственных языков. Возникла в 50‑х гг. 20 в.; одним из главных стимулов появления… …   Лингвистический энциклопедический словарь

  • БИБЛЕИСТИКА — историко филологическая наука, изучающая Библию как лит. произведение посредством текстологического (т. н. низшая критика; нем. Textkritik; англ. textual criticism, lower criticism) и лит. анализа (нем. Literarkritik, höhere Kritik; англ. higher… …   Православная энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»